Skip to content

Conversation

@mergify
Copy link
Contributor

@mergify mergify bot commented May 15, 2024

@mergify mergify bot requested review from audrow and clalancette as code owners May 15, 2024 08:00
@ahcorde ahcorde merged commit 2cc0ec7 into iron May 15, 2024
@delete-merged-branch delete-merged-branch bot deleted the mergify/bp/iron/pr-4455 branch May 15, 2024 08:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants